Modelling biochemical pathways through enhanced pi-calculus
نویسندگان
چکیده
We use the -calculus to model the evolution of biochemical systems, taking advantage of their similarities with global computation applications. First, we present a reduction semantics for the -calculus from which causality and concurrency can be mechanically derived. We prove that our semantics agrees with the causal de-nitions presented in the literature. We also extend our semantics to model biological compartments. Then, we show the applicability of our proposal on a couple of biological examples. c © 2004 Elsevier B.V. All rights reserved.
منابع مشابه
The Continuous pi-Calculus: A Process Algebra for Biochemical Modelling
We introduce the continuous π-calculus, a process algebra for modelling behaviour and variation in molecular systems. Key features of the language are: its expressive succinctness; support for diverse interaction between agents via a flexible network of molecular affinities; and operational semantics for a continuous space of processes. This compositional semantics also gives a modular way to g...
متن کاملRepresentation of the Signal Transduction with Aberrance Using Ipi Calculus
The pi calculus has been applied to modelling biochemical networks. In these applications, the modelling is done without considerations to exceptions. The Ipi calculus, the Interference pi calculus, is introduced to describe the signal transduction with aberrance. The calculus is obtained by adding two aberrant actions into the pi calculus and a tag system to check existing aberrance. A model o...
متن کاملRepresentation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra
Despite the rapidly accumulating body of knowledge about protein networks, there is currently no convenient way of sharing and manipulation of such information. We suggest that a formal computer language for describing the biomolecular processes underlying protein networks is essential for rapid advancement in this field. We propose to model biomolecular processes by using the pi-Calculus, a pr...
متن کاملCausal π-Calculus for Biochemical Modelling
An increasing number of researchers is trying to define models of biochemical pathways via theoretical and technological tools, allowing biologists to simulate reactions before doing them in vitro. The advantages are obvious: a computation normally requires less time then a real experiment, simulation of reactions is cheaper than doing them effectively, and so on. The problem is to find a forma...
متن کاملApplied pi calculus
The applied pi calculus is a language for modelling security protocols. It is an extension of the pi calculus, a language for studying concurrency and process interaction. This chapter presents the applied pi calculus in a tutorial style. It describes reachability, correspondence, and observational equivalence properties, with examples showing how to model secrecy, authentication, and privacy a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Theor. Comput. Sci.
دوره 325 شماره
صفحات -
تاریخ انتشار 2004